Formal systems and recursive functions - proceedings of the 8. Logic colloquium, Oxford, July 1963
- Författare
- (Ed. by J. N. Crossley and M. A. E. Dummett)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| North-Holland | 1965 | Nederländerna, Amsterdam | 320 sidor. |